Sur Une Forme Pyrénéenne DuPolystichum Filix-MasRoth

COBRA : Une plate-forme de RàPC basée sur des ontologies

Résumé : Cet article présente un projet en cours qui a pour objectif de développer une plateforme de RàPC pour le diagnostic basée sur des ontologies, appelée COBRA. Cette plate-forme est constituée de deux parties principales : les modèles de connaissances décrits par des ontologies, et les processus de raisonnement. Nous travaillons actuellement sur la défaillance des barrières de sécurité in...

Une approche de la stabilisation interne par l’analyse algébrique III. Sur une forme générale des contrôleurs stabilisants basée sur le rang stable

Résumé—Ce papier a pour but de donner une vue générale des différents résultats récemment obtenus sur la stabilisation interne des systèmes linéaires de dimension infinie. On s’attachera à faire ressortir les principales idées plus que la technique utilisée. En particulier, nous donnerons des conditions nécessaires et suffissantes à la stabilisation interne et à l’existence de factorisations do...

Sur une souche de BRUCELLA d'origine humaine

Une forme de négociation entre entités virtuelles

Résumé : La modélisation de phénomènes de groupe est au cœur de la problématique multi-agents. Parmi eux se trouvent les systèmes de négociation automatique qui ont été largement étudiés dans le domaine du commerce électronique pour modéliser notamment les enchères. Dans cet article, nous présentons un modèle général de négociation pour les systèmes multi-agents, appelé GeNCA (Generic Negotiati...

CERTICLOUD, une plate-forme Cloud IaaS sécurisée

Résumé La sécurité des Clouds est un aspect essentiel qui n’est pas forcément abordé selon le point de vue de l’utilisateur. En particulier, sur une plate-forme de type Infrastructure-as-a-Service (IaaS), il est actuellement impossible pour un utilisateur de certifier de manière fiable et sécurisée que l’environnement qu’il a déployé (typiquement sous forme d’une machine virtuelle) est toujours...